1. Automated deduction in geometry
Author: / Hoon Hong, Dongming Wang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2004
2. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3763
3. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
